home *** CD-ROM | disk | FTP | other *** search
- package javax.swing;
-
- import java.awt.Component;
- import java.awt.Dimension;
- import javax.accessibility.Accessible;
- import javax.accessibility.AccessibleContext;
-
- public class Box$Filler extends Component implements Accessible {
- private Dimension reqMin;
- private Dimension reqPref;
- private Dimension reqMax;
- protected AccessibleContext accessibleContext = null;
-
- public Box$Filler(Dimension var1, Dimension var2, Dimension var3) {
- this.reqMin = var1;
- this.reqPref = var2;
- this.reqMax = var3;
- }
-
- public void changeShape(Dimension var1, Dimension var2, Dimension var3) {
- this.reqMin = var1;
- this.reqPref = var2;
- this.reqMax = var3;
- ((Component)this).invalidate();
- }
-
- public AccessibleContext getAccessibleContext() {
- if (this.accessibleContext == null) {
- this.accessibleContext = new Box.Filler.AccessibleBoxFiller(this);
- }
-
- return this.accessibleContext;
- }
-
- public Dimension getMaximumSize() {
- return this.reqMax;
- }
-
- public Dimension getMinimumSize() {
- return this.reqMin;
- }
-
- public Dimension getPreferredSize() {
- return this.reqPref;
- }
- }
-